Wolfram's Classification and Computation in Cellular Automata Classes III and IV

نویسندگان

  • Genaro Juárez Martínez
  • Juan Carlos Seck Tuoh Mora
  • Hector Zenil
چکیده

We conduct a brief survey on Wolfram’s classification, in particular related to the computing capabilities of Cellular Automata (CA) in Wolfram’s classes III and IV. We formulate and shed light on the question of whether Class III systems are capable of Turing universality or may turn out to be “too hot” in practice to be controlled and programmed. We show that systems in Class III are indeed capable of computation and that there is no reason to believe that they are unable, in principle, to reach Turing-completness.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Nonlinear Dynamics Perspective of Wolfram's New Kind of Science Part III: Predicting the Unpredictable

We prove rigorously the four cellular automata local rules 110, 124, 137 and 193 have identical dynamic behaviors capable of universal computations. We exploit Felix Klein’s remarkable Vierergruppe to partition the 256 local rules studied empirically by Wolfram into 89 global equivalence classes of which only 50 may exhibit complex dynamics. We define a 24-element rotation group which induces 3...

متن کامل

A Note on Culik-Yu Classes

Culik and Yu suggested a classification of cellular automata into four classes based on Wolfram's earlier heuristic classification. The purpose of this note is to determine the position of these classes within th e arithmetical hierarchy. We will show that CLASS ONE and C LASS T wo are rrg-complete whereas C LASS THREE is ~g­ complete . C LASS FOUR is tri vial.

متن کامل

Complexity Classes in the Two-dimensional Life Cellular Automata Subspace

Cellular automata (CA) are a class of discrete dynamical models which represent an approximation to physical systems composed of a large number of simple and locally interacting elements [18]. They have caught the interest of many researchers because of their rich and diverse phenomenology [16]. In this framework, Wolfram has shown that CA exhibit the full spectrum of dynamical behaviors [19] a...

متن کامل

Complexity classes on spatially periodic Cellular Automata

This article deals with cellular automata (CA) working over periodic configurations, as opposed to standard CA, where the initial configuration is bounded by persistent symbols. We study the capabilities of language recognition and computation of functions over such automata, as well as the complexity classes they define over languages and functions. We show that these new complexity classes co...

متن کامل

On the Network Analysis of the State Space of Discrete Dynamical Systems

We study networks representing the dynamics of elementary 1D cellular automata (CA) on finite lattices. We analyze scaling behaviors of both local and global network properties as a function of system size. The scaling of the largest node in-degree is obtained analytically for a variety of CA including rules 22, 54, and 110. We further define the path diversity as a global network measure. The ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره abs/1208.2456  شماره 

صفحات  -

تاریخ انتشار 2012